def f ((+++): i32) = (+++)
